ReP USP - Resultado da busca

Trabalho de evento-resumo
Representation theory of logics: a categorial approach (2013)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Handbook of the 4th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Representation theory of logics: a categorial approach. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 02 maio 2024.
APA
Pinto, D. C., & Mariano, H. L. (2013). Representation theory of logics: a categorial approach. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html
NLM
Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 02 ] Available from: https://www.uni-log.org/start4.html
Vancouver
Pinto DC, Mariano HL. Representation theory of logics: a categorial approach [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 02 ] Available from: https://www.uni-log.org/start4.html
Trabalho de evento-resumo
Revising formal program specifications using KMTS (2013)
Oliveira, Paulo de Tarso Guerra ; Andrade, Aline; Wassermann, Renata
Source: Handbook of the 4th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Paulo de Tarso Guerra e ANDRADE, Aline e WASSERMANN, Renata. Revising formal program specifications using KMTS. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 02 maio 2024.
APA
Oliveira, P. de T. G., Andrade, A., & Wassermann, R. (2013). Revising formal program specifications using KMTS. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html
NLM
Oliveira P de TG, Andrade A, Wassermann R. Revising formal program specifications using KMTS [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 02 ] Available from: https://www.uni-log.org/start4.html
Vancouver
Oliveira P de TG, Andrade A, Wassermann R. Revising formal program specifications using KMTS [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 02 ] Available from: https://www.uni-log.org/start4.html
Trabalho de evento-resumo
Belief revision in description logics with tipicality (2013)
Curado, José David Fernandez; Wassermann, Renata
Source: Handbook of the 4th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CURADO, José David Fernandez e WASSERMANN, Renata. Belief revision in description logics with tipicality. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 02 maio 2024.
APA
Curado, J. D. F., & Wassermann, R. (2013). Belief revision in description logics with tipicality. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html
NLM
Curado JDF, Wassermann R. Belief revision in description logics with tipicality [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 02 ] Available from: https://www.uni-log.org/start4.html
Vancouver
Curado JDF, Wassermann R. Belief revision in description logics with tipicality [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 02 ] Available from: https://www.uni-log.org/start4.html
Trabalho de evento-resumo
Traveling around the Moebius band: the logic of scientific discovery (2013)
Stern, Julio Michael
Source: Handbook of the 4th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Subjects: INFERÊNCIA BAYESIANA, ELEMENTOS QUÍMICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Traveling around the Moebius band: the logic of scientific discovery. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 02 maio 2024.
APA
Stern, J. M. (2013). Traveling around the Moebius band: the logic of scientific discovery. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html
NLM
Stern JM. Traveling around the Moebius band: the logic of scientific discovery [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 02 ] Available from: https://www.uni-log.org/start4.html
Vancouver
Stern JM. Traveling around the Moebius band: the logic of scientific discovery [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 02 ] Available from: https://www.uni-log.org/start4.html
Trabalho de evento-resumo
Graph-based pattern recognition and applications (2013)
César Júnior, Roberto Marcondes
Source: Handbook of the 4th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: RECONHECIMENTO DE PADRÕES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CÉSAR JÚNIOR, Roberto Marcondes. Graph-based pattern recognition and applications. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 02 maio 2024.
APA
César Júnior, R. M. (2013). Graph-based pattern recognition and applications. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html
NLM
César Júnior RM. Graph-based pattern recognition and applications [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 02 ] Available from: https://www.uni-log.org/start4.html
Vancouver
César Júnior RM. Graph-based pattern recognition and applications [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2024 maio 02 ] Available from: https://www.uni-log.org/start4.html

USP Schools

ReP

Filtros

Authors

USP affiliated authors